import cartago.*;

public class BufferArt extends Artifact {
	void init(int initialValue) {
		defineObsProperty("countBuffer", initialValue);
	}
	
	@OPERATION
	void inc() {
		ObsProperty prop = getObsProperty("countBuffer");
		//prop.updateValue(prop.intValue()+1);
		//signal("tick");
	}
}